<?php
session_start();
$base = "base_sessions.dat"; //файл, в котором храним идентификаторы и время
$LastTime = time() - 300; //через какое время сессии удаляются (время в секундах)
touch($base);
$file = file($base);
$id = session_id(); //выделяем уникальный идентификатор сессии
if ($id!='') {
$ResFile = array();
foreach($file as $line) {
list($sid, $utime) = explode('|', $line);
if ($utime > $LastTime) {
$ResFile[$sid] = trim($sid).'|'.trim($utime).PHP_EOL;
}
}
$ResFile[$id] = trim($id).'|'.time().PHP_EOL;
file_put_contents($base, $ResFile, LOCK_EX);
$file=$ResFile;
}
echo "Сейчас на сайте: ".sizeof($file)." пользователей";
?>
| |